Большой энциклопедический словарь - логика предикатов
Логика предикатов
логика предикатов
раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно-предикатную структуру высказываний. См. также Исчисление предикатов.
Рейтинг статьи:
См. в других словарях
1.
Логика предикатов, раздел математической логики, изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате формализации Л. п. принимает вид различных исчислений. Простейшими логическими исчислениями являются исчисления высказываний. В более сложных исчислениях предикатов описываются логические законы, связывающие объекты исследования с отношениями между этими объектами. В классическом исчислении предикатов употребляются следующие знаки: 1) т. н. предметные переменные — буквы х, у, z,..., которые содержательно рассматриваются как неопределенные имена объектов исследования теории; 2) предикатные переменные — знаковые комплексы вида Pm, Qn, Rl,... (m, n, l — натуральные числа), причем, например, Qn означает произвольное n-местное отношение между объектами; 3) знаки для логических связок: конъюнкции &, дизъюнкции , импликации E, отрицания u, означающие соответственно «... и...», «... или...», «если..., то...», «неверно, что...»; 4) знаки для кванторов " (квантор всеобщности), 3 (квантор существования), означающие...Большая советская энциклопедия
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 5273 | |
2 | 2766 | |
3 | 2662 | |
4 | 2642 | |
5 | 2166 | |
6 | 2161 | |
7 | 1915 | |
8 | 1765 | |
9 | 1760 | |
10 | 1732 | |
11 | 1479 | |
12 | 1477 | |
13 | 1381 | |
14 | 1329 | |
15 | 1290 | |
16 | 1252 | |
17 | 1243 | |
18 | 1154 | |
19 | 1139 | |
20 | 1063 |